Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
301	FrankenBit: Bit-Precise Verification with Many Bits (Competition Contribution)? Arie Gurfinkel1 and Anton Belov2 1 Carnegie Mellon Software Engineering Institute Add to Reading List Source URL: anton.belov-mcdowell.com Language: English - Date: 2014-01-27 10:25:19 Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM Z3 Invariant Model checking Theoretical computer science Computing Software engineering
302	Problem Solving and Communication Activity Series Round 7: Guess and Check II Student Handout Name(s): ___________________________________________ Date: __________________________________________ Add to Reading List Source URL: mathforum.org Language: English - Date: 2014-02-28 13:48:32 Constraint programming Constraint logic programming
303	Learning Techniques for Pseudo-Boolean Solving Jos´e Santos IST/UTL, INESC-ID, Portugal Vasco Manquinho IST/UTL, INESC-ID, Portugal Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-12 11:31:22 Applied mathematics Boolean satisfiability problem Constraint learning Local consistency Linear programming Solver GRASP Logic programming Constraint satisfaction Theoretical computer science Constraint programming Declarative programming
304	New Features of the SAT’04 versions of zChaff Zhaohui Fu Yogesh Mahajan Sharad Malik Department of Electrical Engineering Princeton University {zfu,yogism,sharad}@EE.Princeton.EDU Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2004-05-13 15:08:40 Declarative programming Constraint programming Clause Predicate logic Propositional calculus Logic in computer science Boolean satisfiability problem Theoretical computer science Logic programming Mathematical logic
305	Microsoft Word - GIT-GVU-09-02 Add to Reading List Source URL: www.cc.gatech.edu Language: English - Date: 2009-01-08 19:33:45 Constraint Collateral damage Linguistics Language Artificial intelligence Constraint programming Constraint satisfaction Logic programming
306	Random Constraint Satisfaction: Easy Generation of Hard (Satisfiable) Instances Ke Xu 1,∗ National Lab of Software Development Environment, School of Computers, Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2007-04-10 23:13:08 Constraint satisfaction problem Computing Constraint satisfaction Constraint logic programming Complexity of constraint satisfaction Constraint programming Software engineering Computer programming
307	A Simple Model to Generate Hard Satisfiable Instances Ke Xu1 1 Fr´ed´eric Boussemart2 Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2005-04-26 01:56:54 Applied mathematics NP-complete problems Electronic design automation Formal methods Logic in computer science Boolean satisfiability problem Constraint satisfaction problem Constraint satisfaction Local search Theoretical computer science Constraint programming Mathematics
308	Improving Parallel Local Search for SAT Alejandro Arbelaez1 , Youssef Hamadi2,3 1 Microsoft-INRIA joint-lab, Orsay France [removed] Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-12-07 07:14:51 Constraint programming Logic in computer science WalkSAT Boolean satisfiability problem Local search Algorithm DPLL algorithm Maximum satisfiability problem Search algorithm Theoretical computer science Applied mathematics Mathematics
309	A New Look at Survey Propagation and Its Generalizations ELITZA MANEVA, ELCHANAN MOSSEL, AND MARTIN J. WAINWRIGHT University of California—Berkeley, Berkeley, California Abstract. This article provides a new conceptual Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-07-31 14:18:53 Constraint programming Graphical models Probability theory Logic in computer science Boolean satisfiability problem Belief propagation Markov random field Constraint satisfaction problem Unit propagation Theoretical computer science Applied mathematics Mathematics
310	IP Ð#!!3Ñ 1 INTEGER LINEAR PROGRAMMING (IP) IP is the name given to LP problems which have the additional constraint that some or all the variables have to be integer. 1. CLASSICAL INTEGER PROGRAMMING PROBLEMS Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2003-10-13 09:44:24 Mega Man X4 Science Application software Software COMPASS/Sample Code PROPT Knowledge representation Logic form Natural language processing

UPDATE